De Bruijn インデックス
#Fleeting_Notes
De Bruijn インデックス(ド・ブラウン・インデックス、De Bruijn Indexes)
$ \lambda x . \lambda y.x\ y
を
$ \lambda . \lambda.2 \ 1
という風に数字で書くやつ
仮引数部分と実引数がわかりやすい？
確認用
Q. De Bruijn インデックス
参考
『新装版 プログラミング言語の基礎理論』
P40
調査用
Google.icon
De Bruijn インデックス(日)
Google.icon
De bruijn indexes(英)
Wikipedia.icon
De Bruijn インデックス - Wikipedia(日)
De Bruijn インデックス(検索) - Wikipedia(日)
Wikipedia.icon
De bruijn indexes - Wikipedia(英)
De bruijn indexes(検索) - Wikipedia(英)